<html>
<body>
<h1>System Descriptions</h1>
<p>
The system description language in UPPAAL2k is 
networks of timed automata extended with (arrays of)
bounded interger variables. In this help section we
give the extended BNF-grammars for the syntax of the various
system components. 

<p>All-nonterminals have a unique name with a capital initial letter.
<tt>NAT</tt> denotes the natural numbers and zero and <tt>ID</tt> denotes 
the valid identifier names. All terminal symbols are shown in quotation 
marks like this '('. In the grammar the following symbols will be used:
<pre>
|      or
[]     optional
()     grouping
+      one or more
*      zero or more
</pre>

<p>The valid <a href="@System Descriptions/Identifiers">identifier names</a>,
the <a href="@System Descriptions/Scope Rules">scope rules</a> and the
<a href="@System Descriptions/Reserved Keywords">reserved keywords</a> are
also described.
</body>
</html>
